(declare-fun _substvar_774_ () Bool)
(declare-const v2 Bool)
(declare-const i0 Int)
(declare-const i2 Int)
(declare-const i3 Int)
(declare-const i5 Int)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const i7 Int)
(assert (or v2 (> (div i3 53) (+ i3 87))))
(assert (or (= _substvar_774_ v6 (= i5 i0) (not v2) v6 (>= 87 (+ i3 87)) false false) v5))
(assert (or (xor true false v5) (= i5 i0)))
(check-sat)
